TSTP Solution File: ITP056^2 by Nitpick---2016